Tipo | Título | Autor | Edición | Disponibilidad | Valoración |
---|---|---|---|---|---|
Libro |
Advanced transaction models and architectures: | ---------- |
(c1997) |
Domicilio
|
---------- |
Libro |
Handbook of software reliability engineering: | Sin autor |
1st ed.
(c1996) |
Domicilio
|
---------- |
Tesis |
SEDAR: detección y recuperación automática de fallos transitorios en sistemas de cómputo de altas prestaciones | Montezanti, Diego Miguel |
(2020) |
---------- | |
Artículo |
SMCV : a methodology for detecting transient faults in multicore clusters | Montezanti, Diego Miguel |
(2012) |
---------- | |
Libro |
Software reliability: principles and practice | Myers, Glenford J. |
(c1976) |
Domicilio
|
---------- |
Programa de estudio |
Teoría de la Computación y Verificación de Programas | Rosenfeld, Ricardo Fabián |
(2010) |
---------- | |
Libro |
Teoría de la computación y verificación de programas: | Rosenfeld, Ricardo Fabián |
1a ed.
(2010) |
Domicilio
Sala |
|
Libro |
Verification and validation of real-time software | Sin autor |
(c1985) |
Domicilio
|
---------- |